Event-B/SLP
نویسنده
چکیده
We show how the event-based notation offered by Event-B may be augmented by algorithmic modelling constructs without disrupting the refinement-based development process.
منابع مشابه
Bruton's Tyrosine Kinase Cooperates with the B Cell Linker Protein SLP-65 as a Tumor Suppressor in Pre-B Cells
Expression of the pre-B cell receptor (pre-BCR) leads to activation of the adaptor molecule SLP-65 and the cytoplasmic kinase Btk. Mice deficient for one of these signaling proteins have an incomplete block in B cell development at the stage of large cycling pre-BCR+CD43+ pre-B cells. Our recent findings of defective SLP-65 expression in approximately 50% of childhood pre-B acute lymphoblastic ...
متن کاملSH2 domain containing leukocyte phosphoprotein of 76-kDa (SLP-76) feedback regulation of ZAP-70 microclustering.
T cell receptor (TCR) signaling involves CD4/CD8-p56lck recruitment of ZAP-70 to the TCR receptor, ZAP-70 phosphorylation of LAT that is followed by LAT recruitment of the GADS-SLP-76 complex. Back regulation of ZAP-70 by SLP-76 has not been documented. In this paper, we show that anti-CD3 induced ZAP-70 cluster formation is significantly reduced in the absence of SLP-76 (i.e., J14 cells) and i...
متن کاملSTaR: design and quantitative measurement of source-location privacy for wireless sensor networks
Wireless sensor networks (WSNs) can provide the world with a technology for real-time event monitoring. One of the primary concerns that hinder the successful deployment of WSNs is source-location privacy (SLP). The privacy of the source location is vital and highly jeopardized by the usage of wireless communications. Although message content privacy can be ensured through message encryption, i...
متن کاملGlaucoma Progression Detection by Retinal Nerve Fiber Layer Measurement Using Scanning Laser Polarimetry: Event and Trend Analysis
PURPOSE To evaluate the use of scanning laser polarimetry (SLP, GDx VCC) to measure the retinal nerve fiber layer (RNFL) thickness in order to evaluate the progression of glaucoma. METHODS Test-retest measurement variability was determined in 47 glaucomatous eyes. One eye each from 152 glaucomatous patients with at least 4 years of follow-up was enrolled. Visual field (VF) loss progression wa...
متن کاملA Southern Hemisphere Sea Level Pressure-Based Precursor for ENSO Warm and Cold Events
Past studies have described large-scale sea level pressure (SLP) variations in the Southern Hemisphere that lead to El Nino–Southern Oscillation (ENSO) warm and cold events (WE and CE). By relying on this description and the importance of the related variability in the lead up to WE and CE, Southern Hemisphere SLP variations in May-June-July (MJJ) are shown here to be excellent predictors for t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/1301.2368 شماره
صفحات -
تاریخ انتشار 2013